181. Language and automata theory and applications :
پدیدآورنده : edited by Shmuel Tomi Klein, Carlos Martín-Vide, Dana Shapira.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Formal languages, Congresses.,Machine theory, Congresses.,Mathematical linguistics, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computers-- Intelligence (AI) & Semantics.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Formal languages.,Machine theory.,Mathematical linguistics.,Mathematical theory of computation.,Mathematics-- Logic.,Maths for computer scientists.
رده :
QA267
.
L38
2018
182. Languages and machines :
پدیدآورنده : Thomas A. Sudkamp
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computational complexity,Formal languages,Machine theory,automate fini,Complejidad computacional,décidabilité,grammaire formelle,langage formel,langage programmation,Lenguaje formal,machine Turing,Teoría de las máquinas,théorie complexité
رده :
QA267
.
3
.
S83
1997
183. Languages and machines: an introduction to the theory of computer science
پدیدآورنده : Sudkamp, Thomas A.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Formal languages,، Machine theory,، Computational complexity
رده :
QA
267
.
3
.
S83
1997
184. Languages and machines; an introduction to the theory of computer science
پدیدآورنده : Sudkamp, Thomas A
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه بیرجند (خراسان جنوبی)
موضوع : ، Formal languages,، Machine theory,، Computational complexity
رده :
QA
267
.
3
.
S83
1988
185. Languages and machines : an introduction to the theory of computer science
پدیدآورنده : Sudkamp, Thomas A.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Formal languages,، Machine theory,، Computational complexity
رده :
QA
267
.
3
.
S93L2
2006
186. Languages and machines : an introduction to the theory of computer science
پدیدآورنده : / Thomas A. Sudkamp
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)
موضوع : Formal languages,Machine theory,Computational complexity
رده :
004
.
20
S943l
187. Languages and machines : an introduction to the theory of computer science
پدیدآورنده : Sudkamp, Thomas A.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Formal languages , Machine theory , Computational complexity
رده :
QA
267
.
3
.
S83
1997
188. Languages and machines: an introduction to the theory of computer science
پدیدآورنده : Sudkamp, Thomas A.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Formal languages,، Machine theory,، Computational complexity
رده :
QA
267
.
3
.
S83
1997
189. Languages and machinesL an intrduction to the theory of computer science
پدیدآورنده : / Thomas A. Sudkamp,Sudkamp
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع : Formal languages,Machine theory,Computational complextiy
رده :
QA
267
.
3
.
S83
1997
190. Languages & machines:an introduction to the theory of computer
پدیدآورنده : SUDKAMP,THOMAS A
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : FORMAL LANGUAGES , MACHINE THEORY , COMPUTATIONAL COMPLEXITY
رده :
QA
267
.
3
.
S83
191. Lecons sur la theorie des automates mathematiques
پدیدآورنده : Boucher, Claude
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Machine theory,، Formal languages
رده :
QA
267
.
B68
192. Machines, languages, and computation
پدیدآورنده : Denning, Peter J.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Machine theory,، Formal languages
رده :
QA
267
.
D45
193. Mathematical foundations of computer science
پدیدآورنده : edited by A. Blikle
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Sequential machine theory,Congresses ، Formal languages,Congresses ، Programming )Electronic computers(
رده :
QA
267
.
5
.
S4
S89
1974
194. Mathematical foundations of computer science 1995
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Machine theory- Congresses,Formal languages- Congresses,Programming (Electronic computers)- Congresses
رده :
QA267
.
M38
1995
195. Mathematical foundations of computer science
پدیدآورنده : Edited by G. Goos and J. Hartmanis )and also( Edited by A. Blikle
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Congresses ، Sequential machine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
267
.
5
.
S4
S89
1974
196. Mathematical foundations of computer science 1986 : Proceedings of the 12th Symposium, Bratislava, Czchoslovakia, August 25-29, 1986
پدیدآورنده : edited by J. Gruska, B. Rovan and J. Wiedermann
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
233
197. Mathematical foundations of computer science 1980 : Proceedings of the 9th Symposium held in Rydzyna, Poland, September 1-5, 1980
پدیدآورنده : edited by P. Dembinski
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Machine theory,Congresses ، Sequential machine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
88
198. Mathematical foundations of computer science, 1976 : proceedings, 5th Symposium, Gdansk, September 6-10, 1976
پدیدآورنده : edited by A. Mazurkiewicz
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Congresses ، Formal languages,Congresses ، Machine theory,Congresses ، Computer programming
رده :
QA
267
.
3
.
S93
1976
199. Mathematical foundations of computer science, 1976 : proceedings, 5th Symposium, Gdansk, September 6-10, 1976
پدیدآورنده : edited by A. Mazurkiewicz
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
45
200. Mathematical foundations of computer science 1981 : proceedings, 10th Symposium, Strbske Pleso, Czechoslovakia, August 31-September 4, 1981
پدیدآورنده : edited by J. Gruska and M. Chytil
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
118
